#ifndef	ASM_MM_H
#define	ASM_MM_H

#include <base/defines.h>

#ifndef __ASSEMBLY__
#include <base/page.h>
#endif

#define CONFIG_ARM64_VA_BITS 48
#define VA_BITS	 (CONFIG_ARM64_VA_BITS)

#define VA_MASK	 ((1UL << (VA_BITS)) - 1)

/*
 * Memory types available.
 */
#define MT_DEVICE_nGnRnE	0
#define MT_DEVICE_nGnRE		1
#define MT_DEVICE_GRE		2
#define MT_NORMAL_NC		3
#define MT_NORMAL		4
#define MT_NORMAL_WT		5

#define MAIR(attr, mt)	((attr) << ((mt) * 8))

#endif  /*ASM_MM_H */
